node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,3) :- #0.807.
link(3,1) :- #0.267.
link(1,51) :- #0.309.
link(51,1) :- #0.482.
link(1,52) :- #0.127.
link(52,1) :- #0.386.
link(1,55) :- #0.051.
link(55,1) :- #0.847.
link(1,66) :- #0.884.
link(66,1) :- #0.024.
link(1,67) :- #0.394.
link(67,1) :- #0.593.
link(1,72) :- #0.826.
link(72,1) :- #0.998.
link(1,80) :- #0.244.
link(80,1) :- #0.133.
link(1,86) :- #0.006.
link(86,1) :- #0.117.
link(1,87) :- #0.467.
link(87,1) :- #0.683.
link(1,106) :- #0.764.
link(106,1) :- #0.508.
link(1,115) :- #0.922.
link(115,1) :- #0.868.
link(1,135) :- #0.743.
link(135,1) :- #0.472.
link(1,141) :- #0.712.
link(141,1) :- #0.569.
link(2,5) :- #0.208.
link(5,2) :- #0.371.
link(2,15) :- #0.412.
link(15,2) :- #0.152.
link(2,21) :- #0.055.
link(21,2) :- #0.799.
link(2,23) :- #0.524.
link(23,2) :- #0.464.
link(2,32) :- #0.166.
link(32,2) :- #0.616.
link(2,41) :- #0.691.
link(41,2) :- #0.699.
link(2,46) :- #0.728.
link(46,2) :- #0.78.
link(2,53) :- #0.659.
link(53,2) :- #0.184.
link(2,96) :- #0.888.
link(96,2) :- #0.125.
link(2,102) :- #0.748.
link(102,2) :- #0.873.
link(2,111) :- #0.65.
link(111,2) :- #0.096.
link(2,125) :- #0.846.
link(125,2) :- #0.276.
link(2,127) :- #0.288.
link(127,2) :- #0.444.
link(2,134) :- #0.816.
link(134,2) :- #0.204.
link(2,136) :- #0.039.
link(136,2) :- #0.295.
link(3,9) :- #0.642.
link(9,3) :- #0.995.
link(3,14) :- #0.506.
link(14,3) :- #0.874.
link(3,33) :- #0.925.
link(33,3) :- #0.437.
link(3,34) :- #0.702.
link(34,3) :- #0.172.
link(3,37) :- #0.95.
link(37,3) :- #0.814.
link(3,56) :- #0.935.
link(56,3) :- #0.832.
link(3,58) :- #0.105.
link(58,3) :- #0.002.
link(3,64) :- #0.882.
link(64,3) :- #0.4.
link(3,68) :- #0.959.
link(68,3) :- #0.34.
link(3,91) :- #0.074.
link(91,3) :- #0.477.
link(3,105) :- #0.552.
link(105,3) :- #0.7.
link(3,113) :- #0.042.
link(113,3) :- #0.416.
link(3,121) :- #0.208.
link(121,3) :- #0.328.
link(3,129) :- #0.429.
link(129,3) :- #0.475.
link(3,141) :- #0.28.
link(141,3) :- #0.292.
link(4,6) :- #0.204.
link(6,4) :- #0.171.
link(4,17) :- #0.096.
link(17,4) :- #0.761.
link(4,23) :- #0.541.
link(23,4) :- #0.287.
link(4,30) :- #0.064.
link(30,4) :- #0.646.
link(4,45) :- #0.082.
link(45,4) :- #0.176.
link(4,51) :- #0.456.
link(51,4) :- #0.82.
link(4,59) :- #0.924.
link(59,4) :- #0.823.
link(4,74) :- #0.987.
link(74,4) :- #0.051.
link(4,80) :- #0.321.
link(80,4) :- #0.477.
link(4,89) :- #0.741.
link(89,4) :- #0.928.
link(4,94) :- #0.335.
link(94,4) :- #0.39.
link(4,109) :- #0.543.
link(109,4) :- #0.341.
link(4,115) :- #0.601.
link(115,4) :- #0.542.
link(4,127) :- #0.936.
link(127,4) :- #0.942.
link(4,135) :- #0.326.
link(135,4) :- #0.864.
link(5,14) :- #0.022.
link(14,5) :- #0.49.
link(5,19) :- #0.224.
link(19,5) :- #0.809.
link(5,26) :- #0.599.
link(26,5) :- #0.025.
link(5,32) :- #0.481.
link(32,5) :- #0.677.
link(5,38) :- #0.868.
link(38,5) :- #0.424.
link(5,46) :- #0.091.
link(46,5) :- #0.599.
link(5,52) :- #0.304.
link(52,5) :- #0.657.
link(5,62) :- #0.075.
link(62,5) :- #0.764.
link(5,63) :- #0.81.
link(63,5) :- #0.895.
link(5,72) :- #0.629.
link(72,5) :- #0.364.
link(5,73) :- #0.328.
link(73,5) :- #0.77.
link(5,84) :- #0.167.
link(84,5) :- #0.854.
link(5,90) :- #0.821.
link(90,5) :- #0.389.
link(5,94) :- #0.332.
link(94,5) :- #0.801.
link(5,109) :- #0.65.
link(109,5) :- #0.986.
link(5,122) :- #0.272.
link(122,5) :- #0.583.
link(6,8) :- #0.377.
link(8,6) :- #0.226.
link(6,9) :- #0.058.
link(9,6) :- #0.182.
link(6,15) :- #0.186.
link(15,6) :- #0.525.
link(6,19) :- #0.865.
link(19,6) :- #0.733.
link(6,25) :- #0.071.
link(25,6) :- #0.166.
link(6,47) :- #0.12.
link(47,6) :- #0.372.
link(6,63) :- #0.728.
link(63,6) :- #0.403.
link(6,70) :- #0.889.
link(70,6) :- #0.538.
link(6,72) :- #0.366.
link(72,6) :- #0.116.
link(6,119) :- #0.514.
link(119,6) :- #0.366.
link(6,123) :- #0.221.
link(123,6) :- #0.184.
link(6,124) :- #0.379.
link(124,6) :- #0.4.
link(6,129) :- #0.156.
link(129,6) :- #0.747.
link(6,135) :- #0.333.
link(135,6) :- #0.911.
link(6,137) :- #0.876.
link(137,6) :- #0.693.
link(6,144) :- #0.05.
link(144,6) :- #0.544.
link(7,10) :- #0.844.
link(10,7) :- #0.134.
link(7,72) :- #0.538.
link(72,7) :- #0.66.
link(7,75) :- #0.088.
link(75,7) :- #0.767.
link(7,81) :- #0.418.
link(81,7) :- #0.12.
link(7,88) :- #0.868.
link(88,7) :- #0.875.
link(7,94) :- #0.754.
link(94,7) :- #0.593.
link(7,96) :- #0.31.
link(96,7) :- #0.345.
link(7,101) :- #0.62.
link(101,7) :- #0.998.
link(7,123) :- #0.925.
link(123,7) :- #0.452.
link(7,128) :- #0.717.
link(128,7) :- #0.942.
link(7,133) :- #0.814.
link(133,7) :- #0.938.
link(7,138) :- #0.577.
link(138,7) :- #0.054.
link(7,142) :- #0.691.
link(142,7) :- #0.034.
link(8,13) :- #0.319.
link(13,8) :- #0.636.
link(8,17) :- #0.761.
link(17,8) :- #0.791.
link(8,21) :- #0.6.
link(21,8) :- #0.027.
link(8,26) :- #0.487.
link(26,8) :- #0.289.
link(8,30) :- #0.916.
link(30,8) :- #0.397.
link(8,38) :- #0.108.
link(38,8) :- #0.861.
link(8,52) :- #0.819.
link(52,8) :- #0.16.
link(8,53) :- #0.17.
link(53,8) :- #0.254.
link(8,54) :- #0.743.
link(54,8) :- #0.941.
link(8,59) :- #0.663.
link(59,8) :- #0.062.
link(8,72) :- #0.048.
link(72,8) :- #0.681.
link(8,86) :- #0.495.
link(86,8) :- #0.765.
link(8,93) :- #0.818.
link(93,8) :- #0.411.
link(8,102) :- #0.039.
link(102,8) :- #0.106.
link(8,134) :- #0.843.
link(134,8) :- #0.858.
link(8,136) :- #0.376.
link(136,8) :- #0.478.
link(8,141) :- #0.662.
link(141,8) :- #0.067.
link(9,13) :- #0.341.
link(13,9) :- #0.671.
link(9,21) :- #0.529.
link(21,9) :- #0.789.
link(9,31) :- #0.696.
link(31,9) :- #0.036.
link(9,56) :- #0.547.
link(56,9) :- #0.48.
link(9,57) :- #0.165.
link(57,9) :- #0.532.
link(9,106) :- #0.926.
link(106,9) :- #0.318.
link(9,119) :- #0.846.
link(119,9) :- #0.509.
link(9,126) :- #0.747.
link(126,9) :- #0.952.
link(9,142) :- #0.912.
link(142,9) :- #0.799.
link(10,14) :- #0.334.
link(14,10) :- #0.45.
link(10,26) :- #0.714.
link(26,10) :- #0.857.
link(10,27) :- #0.432.
link(27,10) :- #0.656.
link(10,35) :- #0.443.
link(35,10) :- #0.346.
link(10,38) :- #0.13.
link(38,10) :- #0.458.
link(10,69) :- #0.647.
link(69,10) :- #0.768.
link(10,72) :- #0.454.
link(72,10) :- #0.034.
link(10,93) :- #0.858.
link(93,10) :- #0.088.
link(10,94) :- #0.939.
link(94,10) :- #0.379.
link(10,96) :- #0.812.
link(96,10) :- #0.922.
link(10,126) :- #0.225.
link(126,10) :- #0.324.
link(10,141) :- #0.515.
link(141,10) :- #0.78.
link(11,30) :- #0.961.
link(30,11) :- #0.012.
link(11,36) :- #0.461.
link(36,11) :- #0.388.
link(11,37) :- #0.335.
link(37,11) :- #0.69.
link(11,43) :- #0.471.
link(43,11) :- #0.623.
link(11,49) :- #0.462.
link(49,11) :- #0.591.
link(11,54) :- #0.836.
link(54,11) :- #0.642.
link(11,57) :- #0.3.
link(57,11) :- #0.339.
link(11,66) :- #0.179.
link(66,11) :- #0.075.
link(11,83) :- #0.862.
link(83,11) :- #0.256.
link(11,84) :- #0.835.
link(84,11) :- #0.387.
link(11,92) :- #0.09.
link(92,11) :- #0.149.
link(11,108) :- #0.633.
link(108,11) :- #0.901.
link(11,115) :- #0.095.
link(115,11) :- #0.13.
link(11,139) :- #0.116.
link(139,11) :- #0.219.
link(11,141) :- #0.661.
link(141,11) :- #0.82.
link(12,14) :- #0.151.
link(14,12) :- #0.707.
link(12,39) :- #0.147.
link(39,12) :- #0.24.
link(12,52) :- #0.989.
link(52,12) :- #0.928.
link(12,93) :- #0.776.
link(93,12) :- #0.286.
link(12,106) :- #0.632.
link(106,12) :- #0.87.
link(12,115) :- #0.752.
link(115,12) :- #0.837.
link(12,124) :- #0.342.
link(124,12) :- #0.152.
link(12,125) :- #0.781.
link(125,12) :- #0.115.
link(12,133) :- #0.432.
link(133,12) :- #0.065.
link(12,136) :- #0.236.
link(136,12) :- #0.633.
link(12,143) :- #0.822.
link(143,12) :- #0.916.
link(13,14) :- #0.87.
link(14,13) :- #0.971.
link(13,36) :- #0.982.
link(36,13) :- #0.342.
link(13,39) :- #0.423.
link(39,13) :- #0.351.
link(13,47) :- #0.682.
link(47,13) :- #0.554.
link(13,48) :- #0.603.
link(48,13) :- #0.746.
link(13,57) :- #0.874.
link(57,13) :- #0.999.
link(13,86) :- #0.31.
link(86,13) :- #0.516.
link(13,114) :- #0.026.
link(114,13) :- #0.438.
link(13,119) :- #0.081.
link(119,13) :- #0.86.
link(14,20) :- #0.441.
link(20,14) :- #0.363.
link(14,26) :- #0.968.
link(26,14) :- #0.847.
link(14,37) :- #0.665.
link(37,14) :- #0.905.
link(14,58) :- #0.228.
link(58,14) :- #0.351.
link(14,59) :- #0.768.
link(59,14) :- #0.946.
link(14,63) :- #0.741.
link(63,14) :- #0.731.
link(14,68) :- #0.429.
link(68,14) :- #0.806.
link(14,73) :- #0.118.
link(73,14) :- #0.81.
link(14,74) :- #0.69.
link(74,14) :- #0.327.
link(14,100) :- #0.344.
link(100,14) :- #0.208.
link(14,107) :- #0.593.
link(107,14) :- #0.127.
link(14,110) :- #0.105.
link(110,14) :- #0.919.
link(14,125) :- #0.545.
link(125,14) :- #0.571.
link(14,126) :- #0.927.
link(126,14) :- #0.628.
link(14,141) :- #0.987.
link(141,14) :- #0.195.
link(15,21) :- #0.821.
link(21,15) :- #0.321.
link(15,52) :- #0.386.
link(52,15) :- #0.935.
link(15,53) :- #0.5.
link(53,15) :- #0.619.
link(15,78) :- #0.517.
link(78,15) :- #0.106.
link(15,80) :- #0.77.
link(80,15) :- #0.849.
link(15,108) :- #0.909.
link(108,15) :- #0.112.
link(15,110) :- #0.372.
link(110,15) :- #0.309.
link(15,111) :- #0.046.
link(111,15) :- #0.134.
link(15,112) :- #0.326.
link(112,15) :- #0.653.
link(15,118) :- #0.532.
link(118,15) :- #0.294.
link(15,120) :- #0.432.
link(120,15) :- #0.798.
link(15,121) :- #0.019.
link(121,15) :- #0.033.
link(15,126) :- #0.435.
link(126,15) :- #0.615.
link(15,129) :- #0.005.
link(129,15) :- #0.873.
link(16,21) :- #0.144.
link(21,16) :- #0.716.
link(16,49) :- #0.79.
link(49,16) :- #0.367.
link(16,52) :- #0.218.
link(52,16) :- #0.551.
link(16,77) :- #0.383.
link(77,16) :- #0.721.
link(16,85) :- #0.129.
link(85,16) :- #0.343.
link(16,98) :- #0.346.
link(98,16) :- #0.209.
link(16,124) :- #0.978.
link(124,16) :- #0.078.
link(16,143) :- #0.429.
link(143,16) :- #0.552.
link(16,144) :- #0.062.
link(144,16) :- #0.162.
link(17,37) :- #0.998.
link(37,17) :- #0.816.
link(17,39) :- #0.809.
link(39,17) :- #0.717.
link(17,47) :- #0.342.
link(47,17) :- #0.086.
link(17,48) :- #0.41.
link(48,17) :- #0.909.
link(17,54) :- #0.657.
link(54,17) :- #0.177.
link(17,55) :- #0.132.
link(55,17) :- #0.73.
link(17,59) :- #0.182.
link(59,17) :- #0.355.
link(17,63) :- #0.236.
link(63,17) :- #0.155.
link(17,64) :- #0.528.
link(64,17) :- #0.662.
link(17,65) :- #0.001.
link(65,17) :- #0.456.
link(17,66) :- #0.553.
link(66,17) :- #0.742.
link(17,68) :- #0.876.
link(68,17) :- #0.2.
link(17,76) :- #0.39.
link(76,17) :- #0.319.
link(17,98) :- #0.933.
link(98,17) :- #0.399.
link(17,103) :- #0.887.
link(103,17) :- #0.075.
link(17,106) :- #0.812.
link(106,17) :- #0.605.
link(17,113) :- #0.149.
link(113,17) :- #0.805.
link(17,129) :- #0.388.
link(129,17) :- #0.139.
link(17,141) :- #0.142.
link(141,17) :- #0.365.
link(18,21) :- #0.478.
link(21,18) :- #0.982.
link(18,23) :- #0.04.
link(23,18) :- #0.293.
link(18,49) :- #0.709.
link(49,18) :- #0.204.
link(18,66) :- #0.863.
link(66,18) :- #0.59.
link(18,78) :- #0.041.
link(78,18) :- #0.769.
link(18,82) :- #0.635.
link(82,18) :- #0.189.
link(18,103) :- #0.532.
link(103,18) :- #0.41.
link(18,110) :- #0.321.
link(110,18) :- #0.275.
link(18,117) :- #0.433.
link(117,18) :- #0.604.
link(18,121) :- #0.853.
link(121,18) :- #0.942.
link(18,124) :- #0.186.
link(124,18) :- #0.803.
link(18,135) :- #0.874.
link(135,18) :- #0.457.
link(19,21) :- #0.037.
link(21,19) :- #0.528.
link(19,31) :- #0.25.
link(31,19) :- #0.759.
link(19,51) :- #0.589.
link(51,19) :- #0.287.
link(19,58) :- #0.811.
link(58,19) :- #0.052.
link(19,63) :- #0.471.
link(63,19) :- #0.748.
link(19,73) :- #0.204.
link(73,19) :- #0.553.
link(19,83) :- #0.491.
link(83,19) :- #0.195.
link(19,92) :- #0.648.
link(92,19) :- #0.56.
link(19,106) :- #0.835.
link(106,19) :- #0.847.
link(19,108) :- #0.032.
link(108,19) :- #0.054.
link(19,129) :- #0.703.
link(129,19) :- #0.567.
link(19,130) :- #0.289.
link(130,19) :- #0.503.
link(19,145) :- #0.671.
link(145,19) :- #0.373.
link(20,21) :- #0.695.
link(21,20) :- #0.587.
link(20,23) :- #0.111.
link(23,20) :- #0.65.
link(20,28) :- #0.491.
link(28,20) :- #0.99.
link(20,32) :- #0.61.
link(32,20) :- #0.51.
link(20,40) :- #0.513.
link(40,20) :- #0.677.
link(20,49) :- #0.86.
link(49,20) :- #0.204.
link(20,50) :- #0.812.
link(50,20) :- #0.319.
link(20,60) :- #0.347.
link(60,20) :- #0.077.
link(20,65) :- #0.219.
link(65,20) :- #0.279.
link(20,70) :- #0.11.
link(70,20) :- #0.506.
link(20,74) :- #0.578.
link(74,20) :- #0.603.
link(20,77) :- #0.175.
link(77,20) :- #0.485.
link(20,83) :- #0.767.
link(83,20) :- #0.169.
link(20,84) :- #0.104.
link(84,20) :- #0.558.
link(20,88) :- #0.435.
link(88,20) :- #0.959.
link(20,100) :- #0.742.
link(100,20) :- #0.361.
link(20,136) :- #0.533.
link(136,20) :- #0.71.
link(21,24) :- #0.154.
link(24,21) :- #0.912.
link(21,30) :- #0.755.
link(30,21) :- #0.95.
link(21,36) :- #0.119.
link(36,21) :- #0.508.
link(21,37) :- #0.94.
link(37,21) :- #0.012.
link(21,40) :- #0.314.
link(40,21) :- #0.682.
link(21,53) :- #0.469.
link(53,21) :- #0.605.
link(21,55) :- #0.514.
link(55,21) :- #0.5.
link(21,64) :- #0.086.
link(64,21) :- #0.254.
link(21,72) :- #0.138.
link(72,21) :- #0.768.
link(21,79) :- #0.938.
link(79,21) :- #0.516.
link(21,84) :- #0.195.
link(84,21) :- #0.742.
link(21,89) :- #0.643.
link(89,21) :- #0.792.
link(21,91) :- #0.953.
link(91,21) :- #0.063.
link(21,95) :- #0.096.
link(95,21) :- #0.241.
link(21,103) :- #0.247.
link(103,21) :- #0.013.
link(21,113) :- #0.151.
link(113,21) :- #0.511.
link(21,114) :- #0.478.
link(114,21) :- #0.42.
link(21,117) :- #0.427.
link(117,21) :- #0.466.
link(21,125) :- #0.829.
link(125,21) :- #0.605.
link(21,129) :- #0.873.
link(129,21) :- #0.756.
link(21,138) :- #0.477.
link(138,21) :- #0.461.
link(21,140) :- #0.289.
link(140,21) :- #0.168.
link(21,141) :- #0.481.
link(141,21) :- #0.933.
link(22,30) :- #0.494.
link(30,22) :- #0.121.
link(22,57) :- #0.361.
link(57,22) :- #0.88.
link(22,71) :- #0.738.
link(71,22) :- #0.324.
link(22,77) :- #0.857.
link(77,22) :- #0.112.
link(22,95) :- #0.329.
link(95,22) :- #0.281.
link(22,97) :- #0.308.
link(97,22) :- #0.769.
link(22,101) :- #0.256.
link(101,22) :- #0.531.
link(22,124) :- #0.998.
link(124,22) :- #0.372.
link(22,133) :- #0.134.
link(133,22) :- #0.072.
link(22,135) :- #0.501.
link(135,22) :- #0.615.
link(22,145) :- #0.765.
link(145,22) :- #0.304.
link(23,35) :- #0.854.
link(35,23) :- #0.332.
link(23,53) :- #0.296.
link(53,23) :- #0.996.
link(23,63) :- #0.576.
link(63,23) :- #0.057.
link(23,67) :- #0.844.
link(67,23) :- #0.675.
link(23,80) :- #0.347.
link(80,23) :- #0.087.
link(23,92) :- #0.941.
link(92,23) :- #0.393.
link(23,99) :- #0.208.
link(99,23) :- #0.192.
link(23,103) :- #0.367.
link(103,23) :- #0.201.
link(23,111) :- #0.667.
link(111,23) :- #0.81.
link(23,112) :- #0.467.
link(112,23) :- #0.577.
link(23,113) :- #0.035.
link(113,23) :- #0.195.
link(23,138) :- #0.64.
link(138,23) :- #0.382.
link(24,26) :- #0.858.
link(26,24) :- #0.026.
link(24,34) :- #0.103.
link(34,24) :- #0.353.
link(24,48) :- #0.824.
link(48,24) :- #0.301.
link(24,51) :- #0.708.
link(51,24) :- #0.061.
link(24,64) :- #0.027.
link(64,24) :- #0.046.
link(24,68) :- #0.368.
link(68,24) :- #0.447.
link(24,84) :- #0.83.
link(84,24) :- #0.727.
link(24,88) :- #0.695.
link(88,24) :- #0.327.
link(24,95) :- #0.619.
link(95,24) :- #0.076.
link(24,96) :- #0.722.
link(96,24) :- #0.552.
link(24,97) :- #0.812.
link(97,24) :- #0.956.
link(24,108) :- #0.926.
link(108,24) :- #0.059.
link(24,111) :- #0.333.
link(111,24) :- #0.38.
link(24,140) :- #0.263.
link(140,24) :- #0.909.
link(25,29) :- #0.056.
link(29,25) :- #0.906.
link(25,30) :- #0.102.
link(30,25) :- #0.299.
link(25,36) :- #0.165.
link(36,25) :- #0.492.
link(25,37) :- #0.073.
link(37,25) :- #0.525.
link(25,38) :- #0.065.
link(38,25) :- #0.904.
link(25,40) :- #0.981.
link(40,25) :- #0.271.
link(25,48) :- #0.99.
link(48,25) :- #0.887.
link(25,72) :- #0.697.
link(72,25) :- #0.448.
link(25,86) :- #0.266.
link(86,25) :- #0.048.
link(25,102) :- #0.872.
link(102,25) :- #0.017.
link(25,115) :- #0.863.
link(115,25) :- #0.709.
link(25,117) :- #0.275.
link(117,25) :- #0.747.
link(25,122) :- #0.227.
link(122,25) :- #0.519.
link(25,132) :- #0.734.
link(132,25) :- #0.296.
link(26,37) :- #0.9.
link(37,26) :- #0.115.
link(26,39) :- #0.064.
link(39,26) :- #0.216.
link(26,46) :- #0.363.
link(46,26) :- #0.605.
link(26,50) :- #0.818.
link(50,26) :- #0.602.
link(26,72) :- #0.231.
link(72,26) :- #0.546.
link(26,95) :- #0.418.
link(95,26) :- #0.156.
link(26,115) :- #0.076.
link(115,26) :- #0.736.
link(26,116) :- #0.627.
link(116,26) :- #0.911.
link(26,120) :- #0.982.
link(120,26) :- #0.788.
link(26,122) :- #0.848.
link(122,26) :- #0.945.
link(26,126) :- #0.557.
link(126,26) :- #0.641.
link(26,129) :- #0.406.
link(129,26) :- #0.024.
link(26,138) :- #0.685.
link(138,26) :- #0.977.
link(27,43) :- #0.392.
link(43,27) :- #0.589.
link(27,49) :- #0.28.
link(49,27) :- #0.78.
link(27,53) :- #0.51.
link(53,27) :- #0.198.
link(27,58) :- #0.824.
link(58,27) :- #0.793.
link(27,83) :- #0.428.
link(83,27) :- #0.803.
link(27,87) :- #0.299.
link(87,27) :- #0.596.
link(27,88) :- #0.778.
link(88,27) :- #0.081.
link(27,98) :- #0.436.
link(98,27) :- #0.993.
link(27,103) :- #0.955.
link(103,27) :- #0.742.
link(27,107) :- #0.061.
link(107,27) :- #0.762.
link(27,137) :- #0.468.
link(137,27) :- #0.836.
link(28,33) :- #0.835.
link(33,28) :- #0.067.
link(28,38) :- #0.597.
link(38,28) :- #0.934.
link(28,45) :- #0.378.
link(45,28) :- #0.514.
link(28,53) :- #0.405.
link(53,28) :- #0.745.
link(28,86) :- #0.549.
link(86,28) :- #0.232.
link(28,94) :- #0.797.
link(94,28) :- #0.549.
link(28,102) :- #0.578.
link(102,28) :- #0.391.
link(28,104) :- #0.731.
link(104,28) :- #0.508.
link(28,110) :- #0.512.
link(110,28) :- #0.232.
link(28,132) :- #0.181.
link(132,28) :- #0.703.
link(28,137) :- #0.609.
link(137,28) :- #0.138.
link(29,37) :- #0.077.
link(37,29) :- #0.922.
link(29,45) :- #0.387.
link(45,29) :- #0.379.
link(29,53) :- #0.633.
link(53,29) :- #0.093.
link(29,71) :- #0.084.
link(71,29) :- #0.366.
link(29,73) :- #0.984.
link(73,29) :- #0.602.
link(29,86) :- #0.68.
link(86,29) :- #0.066.
link(29,87) :- #0.416.
link(87,29) :- #0.881.
link(29,105) :- #0.777.
link(105,29) :- #0.536.
link(29,114) :- #0.186.
link(114,29) :- #0.956.
link(29,124) :- #0.923.
link(124,29) :- #0.553.
link(29,126) :- #0.58.
link(126,29) :- #0.447.
link(30,43) :- #0.144.
link(43,30) :- #0.217.
link(30,44) :- #0.671.
link(44,30) :- #0.653.
link(30,64) :- #0.821.
link(64,30) :- #0.162.
link(30,72) :- #0.961.
link(72,30) :- #0.282.
link(30,79) :- #0.769.
link(79,30) :- #0.165.
link(30,82) :- #0.512.
link(82,30) :- #0.433.
link(30,98) :- #0.679.
link(98,30) :- #0.141.
link(30,115) :- #0.345.
link(115,30) :- #0.054.
link(30,117) :- #0.478.
link(117,30) :- #0.631.
link(30,118) :- #0.126.
link(118,30) :- #0.218.
link(30,129) :- #0.858.
link(129,30) :- #0.377.
link(30,142) :- #0.703.
link(142,30) :- #0.617.
link(31,65) :- #0.073.
link(65,31) :- #0.537.
link(31,67) :- #0.961.
link(67,31) :- #0.115.
link(31,76) :- #0.256.
link(76,31) :- #0.815.
link(31,91) :- #0.001.
link(91,31) :- #0.542.
link(31,92) :- #0.218.
link(92,31) :- #0.555.
link(31,93) :- #0.605.
link(93,31) :- #0.127.
link(31,115) :- #0.005.
link(115,31) :- #0.91.
link(31,122) :- #0.75.
link(122,31) :- #0.547.
link(31,143) :- #0.068.
link(143,31) :- #0.895.
link(32,38) :- #0.976.
link(38,32) :- #0.049.
link(32,39) :- #0.717.
link(39,32) :- #0.702.
link(32,46) :- #0.347.
link(46,32) :- #0.086.
link(32,59) :- #0.643.
link(59,32) :- #0.612.
link(32,79) :- #0.553.
link(79,32) :- #0.296.
link(32,83) :- #0.541.
link(83,32) :- #0.118.
link(32,98) :- #0.241.
link(98,32) :- #0.205.
link(32,105) :- #0.771.
link(105,32) :- #0.55.
link(32,120) :- #0.564.
link(120,32) :- #0.196.
link(32,123) :- #0.289.
link(123,32) :- #0.93.
link(32,125) :- #0.155.
link(125,32) :- #0.718.
link(33,36) :- #0.682.
link(36,33) :- #0.597.
link(33,75) :- #0.698.
link(75,33) :- #0.545.
link(33,77) :- #0.631.
link(77,33) :- #0.403.
link(33,79) :- #0.894.
link(79,33) :- #0.69.
link(33,85) :- #0.98.
link(85,33) :- #0.813.
link(33,96) :- #0.152.
link(96,33) :- #0.117.
link(33,110) :- #0.139.
link(110,33) :- #0.01.
link(33,114) :- #0.79.
link(114,33) :- #0.188.
link(33,117) :- #0.74.
link(117,33) :- #0.12.
link(33,123) :- #0.788.
link(123,33) :- #0.119.
link(33,132) :- #0.553.
link(132,33) :- #0.784.
link(34,41) :- #0.405.
link(41,34) :- #0.276.
link(34,50) :- #0.989.
link(50,34) :- #0.659.
link(34,51) :- #0.736.
link(51,34) :- #0.557.
link(34,58) :- #0.202.
link(58,34) :- #0.801.
link(34,73) :- #0.998.
link(73,34) :- #0.273.
link(34,78) :- #0.645.
link(78,34) :- #0.65.
link(34,86) :- #0.066.
link(86,34) :- #0.843.
link(34,87) :- #0.939.
link(87,34) :- #0.989.
link(34,93) :- #0.119.
link(93,34) :- #0.35.
link(34,95) :- #0.284.
link(95,34) :- #0.537.
link(34,101) :- #0.011.
link(101,34) :- #0.976.
link(34,139) :- #0.308.
link(139,34) :- #0.008.
link(35,36) :- #0.869.
link(36,35) :- #0.664.
link(35,41) :- #0.777.
link(41,35) :- #0.51.
link(35,53) :- #0.81.
link(53,35) :- #0.112.
link(35,54) :- #0.906.
link(54,35) :- #0.165.
link(35,60) :- #0.601.
link(60,35) :- #0.338.
link(35,66) :- #0.919.
link(66,35) :- #0.001.
link(35,76) :- #0.462.
link(76,35) :- #0.351.
link(35,94) :- #0.084.
link(94,35) :- #0.449.
link(35,95) :- #0.242.
link(95,35) :- #0.793.
link(35,105) :- #0.663.
link(105,35) :- #0.615.
link(35,121) :- #0.516.
link(121,35) :- #0.148.
link(35,125) :- #0.171.
link(125,35) :- #0.571.
link(36,39) :- #0.017.
link(39,36) :- #0.098.
link(36,72) :- #0.474.
link(72,36) :- #0.054.
link(36,89) :- #0.606.
link(89,36) :- #0.816.
link(36,103) :- #0.389.
link(103,36) :- #0.558.
link(36,105) :- #0.084.
link(105,36) :- #0.249.
link(36,110) :- #0.6.
link(110,36) :- #0.968.
link(36,117) :- #0.566.
link(117,36) :- #0.228.
link(36,129) :- #0.538.
link(129,36) :- #0.822.
link(36,139) :- #0.447.
link(139,36) :- #0.566.
link(36,140) :- #0.795.
link(140,36) :- #0.376.
link(37,48) :- #0.852.
link(48,37) :- #0.958.
link(37,56) :- #0.244.
link(56,37) :- #0.846.
link(37,94) :- #0.603.
link(94,37) :- #0.642.
link(37,103) :- #0.11.
link(103,37) :- #0.217.
link(37,122) :- #0.455.
link(122,37) :- #0.806.
link(37,134) :- #0.346.
link(134,37) :- #0.562.
link(38,40) :- #0.546.
link(40,38) :- #0.64.
link(38,42) :- #0.921.
link(42,38) :- #0.845.
link(38,45) :- #0.675.
link(45,38) :- #0.823.
link(38,47) :- #0.517.
link(47,38) :- #0.299.
link(38,67) :- #0.113.
link(67,38) :- #0.069.
link(38,69) :- #0.263.
link(69,38) :- #0.804.
link(38,86) :- #0.908.
link(86,38) :- #0.744.
link(38,91) :- #0.761.
link(91,38) :- #0.641.
link(38,116) :- #0.189.
link(116,38) :- #0.554.
link(38,119) :- #0.886.
link(119,38) :- #0.002.
link(38,120) :- #0.079.
link(120,38) :- #0.969.
link(38,129) :- #0.846.
link(129,38) :- #0.927.
link(38,139) :- #0.927.
link(139,38) :- #0.532.
link(39,40) :- #0.188.
link(40,39) :- #0.484.
link(39,41) :- #0.48.
link(41,39) :- #0.069.
link(39,47) :- #0.006.
link(47,39) :- #0.153.
link(39,52) :- #0.992.
link(52,39) :- #0.257.
link(39,53) :- #0.318.
link(53,39) :- #0.386.
link(39,55) :- #0.535.
link(55,39) :- #0.111.
link(39,60) :- #0.529.
link(60,39) :- #0.946.
link(39,61) :- #0.797.
link(61,39) :- #0.96.
link(39,87) :- #0.304.
link(87,39) :- #0.255.
link(39,93) :- #0.457.
link(93,39) :- #0.967.
link(39,94) :- #0.915.
link(94,39) :- #0.941.
link(39,97) :- #0.858.
link(97,39) :- #0.544.
link(39,98) :- #0.008.
link(98,39) :- #0.885.
link(39,109) :- #0.866.
link(109,39) :- #0.191.
link(39,131) :- #0.383.
link(131,39) :- #0.305.
link(40,47) :- #0.664.
link(47,40) :- #0.702.
link(40,53) :- #0.086.
link(53,40) :- #0.987.
link(40,57) :- #0.147.
link(57,40) :- #0.943.
link(40,66) :- #0.403.
link(66,40) :- #0.396.
link(40,69) :- #0.938.
link(69,40) :- #0.946.
link(40,71) :- #0.885.
link(71,40) :- #0.522.
link(40,80) :- #0.782.
link(80,40) :- #0.934.
link(40,111) :- #0.798.
link(111,40) :- #0.538.
link(40,114) :- #0.743.
link(114,40) :- #0.624.
link(40,134) :- #0.41.
link(134,40) :- #0.279.
link(40,145) :- #0.897.
link(145,40) :- #0.346.
link(41,45) :- #0.727.
link(45,41) :- #0.664.
link(41,62) :- #0.663.
link(62,41) :- #0.629.
link(41,68) :- #0.054.
link(68,41) :- #0.33.
link(41,75) :- #0.02.
link(75,41) :- #0.197.
link(41,85) :- #0.482.
link(85,41) :- #0.166.
link(41,86) :- #0.216.
link(86,41) :- #0.189.
link(41,89) :- #0.78.
link(89,41) :- #0.33.
link(41,90) :- #0.406.
link(90,41) :- #0.694.
link(41,92) :- #0.652.
link(92,41) :- #0.608.
link(41,94) :- #0.716.
link(94,41) :- #0.806.
link(41,141) :- #0.85.
link(141,41) :- #0.229.
link(41,142) :- #0.294.
link(142,41) :- #0.693.
link(42,54) :- #0.635.
link(54,42) :- #0.113.
link(42,59) :- #0.037.
link(59,42) :- #0.143.
link(42,72) :- #0.983.
link(72,42) :- #0.865.
link(42,82) :- #0.184.
link(82,42) :- #0.499.
link(42,84) :- #0.879.
link(84,42) :- #0.113.
link(42,92) :- #0.125.
link(92,42) :- #0.426.
link(42,93) :- #0.048.
link(93,42) :- #0.072.
link(42,95) :- #0.524.
link(95,42) :- #0.902.
link(42,109) :- #0.534.
link(109,42) :- #0.865.
link(42,113) :- #0.644.
link(113,42) :- #0.701.
link(42,119) :- #0.982.
link(119,42) :- #0.395.
link(42,121) :- #0.22.
link(121,42) :- #0.519.
link(42,125) :- #0.346.
link(125,42) :- #0.59.
link(43,50) :- #0.84.
link(50,43) :- #0.129.
link(43,57) :- #0.695.
link(57,43) :- #0.249.
link(43,68) :- #0.03.
link(68,43) :- #0.218.
link(43,85) :- #0.776.
link(85,43) :- #0.343.
link(43,91) :- #0.569.
link(91,43) :- #0.336.
link(43,96) :- #0.09.
link(96,43) :- #0.345.
link(43,101) :- #0.198.
link(101,43) :- #0.649.
link(43,136) :- #0.284.
link(136,43) :- #0.772.
link(43,141) :- #0.449.
link(141,43) :- #0.727.
link(44,48) :- #0.209.
link(48,44) :- #0.542.
link(44,51) :- #0.673.
link(51,44) :- #0.685.
link(44,53) :- #0.663.
link(53,44) :- #0.709.
link(44,66) :- #0.24.
link(66,44) :- #0.583.
link(44,90) :- #0.727.
link(90,44) :- #0.843.
link(44,95) :- #0.857.
link(95,44) :- #0.872.
link(44,99) :- #0.114.
link(99,44) :- #0.157.
link(44,120) :- #0.939.
link(120,44) :- #0.724.
link(44,141) :- #0.677.
link(141,44) :- #0.105.
link(45,50) :- #0.129.
link(50,45) :- #0.841.
link(45,58) :- #0.46.
link(58,45) :- #0.592.
link(45,60) :- #0.476.
link(60,45) :- #0.459.
link(45,66) :- #0.317.
link(66,45) :- #0.199.
link(45,74) :- #0.299.
link(74,45) :- #0.972.
link(45,77) :- #0.568.
link(77,45) :- #0.682.
link(45,80) :- #0.627.
link(80,45) :- #0.611.
link(45,96) :- #0.547.
link(96,45) :- #0.758.
link(45,100) :- #0.764.
link(100,45) :- #0.536.
link(45,109) :- #0.53.
link(109,45) :- #0.43.
link(45,110) :- #0.46.
link(110,45) :- #0.386.
link(45,111) :- #0.112.
link(111,45) :- #0.361.
link(45,133) :- #0.358.
link(133,45) :- #0.952.
link(46,50) :- #0.647.
link(50,46) :- #0.494.
link(46,52) :- #0.67.
link(52,46) :- #0.96.
link(46,57) :- #0.11.
link(57,46) :- #0.993.
link(46,103) :- #0.818.
link(103,46) :- #0.75.
link(46,110) :- #0.573.
link(110,46) :- #0.931.
link(46,121) :- #0.193.
link(121,46) :- #0.761.
link(47,53) :- #0.013.
link(53,47) :- #0.881.
link(47,55) :- #0.33.
link(55,47) :- #0.346.
link(47,58) :- #0.258.
link(58,47) :- #0.892.
link(47,63) :- #0.792.
link(63,47) :- #0.546.
link(47,82) :- #0.47.
link(82,47) :- #0.347.
link(47,87) :- #0.84.
link(87,47) :- #0.747.
link(47,88) :- #0.457.
link(88,47) :- #0.852.
link(47,90) :- #0.719.
link(90,47) :- #0.526.
link(47,92) :- #0.671.
link(92,47) :- #0.177.
link(47,103) :- #0.681.
link(103,47) :- #0.855.
link(47,115) :- #0.679.
link(115,47) :- #0.82.
link(47,118) :- #0.124.
link(118,47) :- #0.032.
link(47,119) :- #0.924.
link(119,47) :- #0.063.
link(47,120) :- #0.611.
link(120,47) :- #0.134.
link(47,138) :- #0.388.
link(138,47) :- #0.584.
link(47,142) :- #0.619.
link(142,47) :- #0.386.
link(47,143) :- #0.429.
link(143,47) :- #0.133.
link(48,52) :- #0.53.
link(52,48) :- #0.024.
link(48,59) :- #0.177.
link(59,48) :- #0.469.
link(48,69) :- #0.301.
link(69,48) :- #0.944.
link(48,77) :- #0.912.
link(77,48) :- #0.194.
link(48,80) :- #0.976.
link(80,48) :- #0.628.
link(48,98) :- #0.395.
link(98,48) :- #0.251.
link(48,111) :- #0.559.
link(111,48) :- #0.549.
link(49,53) :- #0.905.
link(53,49) :- #0.311.
link(49,64) :- #0.02.
link(64,49) :- #0.877.
link(49,72) :- #0.423.
link(72,49) :- #0.873.
link(49,83) :- #0.216.
link(83,49) :- #0.951.
link(49,87) :- #0.992.
link(87,49) :- #0.561.
link(49,94) :- #0.317.
link(94,49) :- #0.608.
link(49,101) :- #0.38.
link(101,49) :- #0.318.
link(49,103) :- #0.902.
link(103,49) :- #0.114.
link(49,106) :- #0.256.
link(106,49) :- #0.316.
link(49,110) :- #0.881.
link(110,49) :- #0.709.
link(49,112) :- #0.548.
link(112,49) :- #0.575.
link(49,124) :- #0.059.
link(124,49) :- #0.707.
link(49,128) :- #0.483.
link(128,49) :- #0.222.
link(49,129) :- #0.622.
link(129,49) :- #0.768.
link(49,136) :- #0.217.
link(136,49) :- #0.901.
link(49,139) :- #0.664.
link(139,49) :- #0.489.
link(50,61) :- #0.447.
link(61,50) :- #0.099.
link(50,70) :- #0.798.
link(70,50) :- #0.487.
link(50,91) :- #0.965.
link(91,50) :- #0.711.
link(50,94) :- #0.565.
link(94,50) :- #0.753.
link(50,96) :- #0.726.
link(96,50) :- #0.367.
link(50,101) :- #0.339.
link(101,50) :- #0.426.
link(50,122) :- #0.627.
link(122,50) :- #0.28.
link(50,130) :- #0.324.
link(130,50) :- #0.463.
link(51,52) :- #0.047.
link(52,51) :- #0.234.
link(51,60) :- #0.38.
link(60,51) :- #0.535.
link(51,61) :- #0.307.
link(61,51) :- #0.12.
link(51,71) :- #0.58.
link(71,51) :- #0.232.
link(51,72) :- #0.133.
link(72,51) :- #0.799.
link(51,91) :- #0.498.
link(91,51) :- #0.326.
link(51,92) :- #0.846.
link(92,51) :- #0.316.
link(51,95) :- #0.256.
link(95,51) :- #0.823.
link(51,96) :- #0.377.
link(96,51) :- #0.453.
link(51,101) :- #0.844.
link(101,51) :- #0.456.
link(51,120) :- #0.114.
link(120,51) :- #0.325.
link(51,122) :- #0.368.
link(122,51) :- #0.434.
link(51,132) :- #0.439.
link(132,51) :- #0.404.
link(52,54) :- #0.785.
link(54,52) :- #0.976.
link(52,60) :- #0.288.
link(60,52) :- #0.763.
link(52,68) :- #0.816.
link(68,52) :- #0.627.
link(52,83) :- #0.045.
link(83,52) :- #0.97.
link(52,85) :- #0.732.
link(85,52) :- #0.472.
link(52,87) :- #0.112.
link(87,52) :- #0.468.
link(52,88) :- #0.289.
link(88,52) :- #0.397.
link(52,89) :- #0.846.
link(89,52) :- #0.278.
link(52,94) :- #0.539.
link(94,52) :- #0.858.
link(52,104) :- #0.718.
link(104,52) :- #0.681.
link(52,105) :- #0.339.
link(105,52) :- #0.528.
link(52,126) :- #0.179.
link(126,52) :- #0.388.
link(52,128) :- #0.234.
link(128,52) :- #0.642.
link(52,134) :- #0.211.
link(134,52) :- #0.575.
link(52,143) :- #0.749.
link(143,52) :- #0.108.
link(53,57) :- #0.982.
link(57,53) :- #0.423.
link(53,68) :- #0.873.
link(68,53) :- #0.064.
link(53,74) :- #0.667.
link(74,53) :- #0.431.
link(53,76) :- #0.572.
link(76,53) :- #0.77.
link(53,91) :- #0.9.
link(91,53) :- #0.22.
link(53,92) :- #0.975.
link(92,53) :- #0.624.
link(53,109) :- #0.576.
link(109,53) :- #0.716.
link(53,112) :- #0.561.
link(112,53) :- #0.014.
link(53,123) :- #0.841.
link(123,53) :- #0.159.
link(53,142) :- #0.382.
link(142,53) :- #0.179.
link(53,143) :- #0.066.
link(143,53) :- #0.977.
link(54,67) :- #0.315.
link(67,54) :- #0.732.
link(54,79) :- #0.844.
link(79,54) :- #0.299.
link(54,82) :- #0.316.
link(82,54) :- #0.945.
link(54,104) :- #0.395.
link(104,54) :- #0.939.
link(54,122) :- #0.113.
link(122,54) :- #0.886.
link(54,140) :- #0.147.
link(140,54) :- #0.676.
link(55,63) :- #0.135.
link(63,55) :- #0.481.
link(55,115) :- #0.357.
link(115,55) :- #0.465.
link(55,133) :- #0.284.
link(133,55) :- #0.161.
link(55,135) :- #0.778.
link(135,55) :- #0.637.
link(56,63) :- #0.529.
link(63,56) :- #0.953.
link(56,65) :- #0.194.
link(65,56) :- #0.044.
link(56,66) :- #0.996.
link(66,56) :- #0.26.
link(56,67) :- #0.801.
link(67,56) :- #0.384.
link(56,82) :- #0.919.
link(82,56) :- #0.762.
link(56,92) :- #0.549.
link(92,56) :- #0.294.
link(56,102) :- #0.465.
link(102,56) :- #0.46.
link(56,106) :- #0.616.
link(106,56) :- #0.487.
link(56,110) :- #0.408.
link(110,56) :- #0.911.
link(56,123) :- #0.823.
link(123,56) :- #0.578.
link(56,124) :- #0.971.
link(124,56) :- #0.977.
link(56,131) :- #0.344.
link(131,56) :- #0.959.
link(56,140) :- #0.931.
link(140,56) :- #0.355.
link(56,141) :- #0.972.
link(141,56) :- #0.17.
link(56,145) :- #0.489.
link(145,56) :- #0.663.
link(57,71) :- #0.374.
link(71,57) :- #0.672.
link(57,89) :- #0.165.
link(89,57) :- #0.902.
link(57,93) :- #0.477.
link(93,57) :- #0.619.
link(57,104) :- #0.436.
link(104,57) :- #0.574.
link(57,108) :- #0.619.
link(108,57) :- #0.264.
link(57,116) :- #0.388.
link(116,57) :- #0.168.
link(57,125) :- #0.708.
link(125,57) :- #0.839.
link(57,131) :- #0.783.
link(131,57) :- #0.986.
link(57,145) :- #0.886.
link(145,57) :- #0.445.
link(58,76) :- #0.673.
link(76,58) :- #0.507.
link(58,107) :- #0.35.
link(107,58) :- #0.217.
link(58,114) :- #0.77.
link(114,58) :- #0.514.
link(58,122) :- #0.04.
link(122,58) :- #0.539.
link(58,128) :- #0.751.
link(128,58) :- #0.792.
link(58,139) :- #0.947.
link(139,58) :- #0.508.
link(58,144) :- #0.528.
link(144,58) :- #0.066.
link(59,60) :- #0.307.
link(60,59) :- #0.425.
link(59,81) :- #0.41.
link(81,59) :- #0.433.
link(59,87) :- #0.807.
link(87,59) :- #0.579.
link(59,90) :- #0.218.
link(90,59) :- #0.536.
link(59,109) :- #0.163.
link(109,59) :- #0.529.
link(59,127) :- #0.523.
link(127,59) :- #0.016.
link(59,133) :- #0.747.
link(133,59) :- #0.132.
link(59,137) :- #0.684.
link(137,59) :- #0.278.
link(60,62) :- #0.725.
link(62,60) :- #0.396.
link(60,72) :- #0.668.
link(72,60) :- #0.544.
link(60,91) :- #0.167.
link(91,60) :- #0.348.
link(60,100) :- #0.197.
link(100,60) :- #0.601.
link(60,103) :- #0.472.
link(103,60) :- #0.457.
link(60,108) :- #0.831.
link(108,60) :- #0.293.
link(60,119) :- #0.938.
link(119,60) :- #0.082.
link(60,125) :- #0.617.
link(125,60) :- #0.764.
link(61,64) :- #0.418.
link(64,61) :- #0.996.
link(61,68) :- #0.87.
link(68,61) :- #0.974.
link(61,92) :- #0.479.
link(92,61) :- #0.576.
link(62,70) :- #0.168.
link(70,62) :- #0.209.
link(62,73) :- #0.562.
link(73,62) :- #0.008.
link(62,81) :- #0.248.
link(81,62) :- #0.987.
link(62,97) :- #0.162.
link(97,62) :- #0.893.
link(62,113) :- #0.071.
link(113,62) :- #0.035.
link(62,128) :- #0.567.
link(128,62) :- #0.587.
link(62,130) :- #0.07.
link(130,62) :- #0.274.
link(62,132) :- #0.889.
link(132,62) :- #0.238.
link(63,67) :- #0.481.
link(67,63) :- #0.081.
link(63,69) :- #0.135.
link(69,63) :- #0.716.
link(63,71) :- #0.558.
link(71,63) :- #0.466.
link(63,106) :- #0.288.
link(106,63) :- #0.059.
link(63,116) :- #0.537.
link(116,63) :- #0.291.
link(64,85) :- #0.463.
link(85,64) :- #0.842.
link(64,108) :- #0.978.
link(108,64) :- #0.778.
link(64,110) :- #0.467.
link(110,64) :- #0.382.
link(64,112) :- #0.825.
link(112,64) :- #0.459.
link(64,115) :- #0.508.
link(115,64) :- #0.443.
link(64,124) :- #0.428.
link(124,64) :- #0.357.
link(64,132) :- #0.684.
link(132,64) :- #0.127.
link(64,141) :- #0.262.
link(141,64) :- #0.832.
link(65,70) :- #0.531.
link(70,65) :- #0.83.
link(65,73) :- #0.077.
link(73,65) :- #0.634.
link(65,77) :- #0.611.
link(77,65) :- #0.265.
link(65,90) :- #0.18.
link(90,65) :- #0.533.
link(65,96) :- #0.526.
link(96,65) :- #0.835.
link(65,113) :- #0.184.
link(113,65) :- #0.52.
link(65,115) :- #0.087.
link(115,65) :- #0.529.
link(65,123) :- #0.431.
link(123,65) :- #0.191.
link(65,125) :- #0.694.
link(125,65) :- #0.636.
link(65,140) :- #0.678.
link(140,65) :- #0.188.
link(65,144) :- #0.386.
link(144,65) :- #0.073.
link(66,111) :- #0.418.
link(111,66) :- #0.746.
link(66,113) :- #0.085.
link(113,66) :- #0.925.
link(66,124) :- #0.165.
link(124,66) :- #0.576.
link(67,70) :- #0.068.
link(70,67) :- #0.895.
link(67,99) :- #0.288.
link(99,67) :- #0.858.
link(67,107) :- #0.896.
link(107,67) :- #0.804.
link(67,113) :- #0.987.
link(113,67) :- #0.661.
link(68,84) :- #0.413.
link(84,68) :- #0.067.
link(68,86) :- #0.952.
link(86,68) :- #0.983.
link(68,97) :- #0.671.
link(97,68) :- #0.298.
link(68,104) :- #0.337.
link(104,68) :- #0.039.
link(68,116) :- #0.308.
link(116,68) :- #0.815.
link(68,137) :- #0.217.
link(137,68) :- #0.746.
link(68,144) :- #0.839.
link(144,68) :- #0.132.
link(69,92) :- #0.521.
link(92,69) :- #0.318.
link(69,97) :- #0.17.
link(97,69) :- #0.267.
link(69,99) :- #0.065.
link(99,69) :- #0.891.
link(69,102) :- #0.607.
link(102,69) :- #0.466.
link(69,108) :- #0.152.
link(108,69) :- #0.374.
link(69,121) :- #0.206.
link(121,69) :- #0.272.
link(69,136) :- #0.047.
link(136,69) :- #0.748.
link(70,72) :- #0.21.
link(72,70) :- #0.611.
link(70,102) :- #0.449.
link(102,70) :- #0.56.
link(70,103) :- #0.824.
link(103,70) :- #0.001.
link(70,107) :- #0.823.
link(107,70) :- #0.846.
link(70,110) :- #0.914.
link(110,70) :- #0.372.
link(70,143) :- #0.834.
link(143,70) :- #0.551.
link(71,97) :- #0.523.
link(97,71) :- #0.215.
link(71,135) :- #0.114.
link(135,71) :- #0.046.
link(71,140) :- #0.979.
link(140,71) :- #0.534.
link(72,81) :- #0.698.
link(81,72) :- #0.638.
link(72,84) :- #0.947.
link(84,72) :- #0.937.
link(72,134) :- #0.721.
link(134,72) :- #0.31.
link(72,135) :- #0.985.
link(135,72) :- #0.19.
link(72,138) :- #0.569.
link(138,72) :- #0.905.
link(72,144) :- #0.077.
link(144,72) :- #0.007.
link(73,80) :- #0.826.
link(80,73) :- #0.02.
link(73,87) :- #0.55.
link(87,73) :- #0.077.
link(73,95) :- #0.894.
link(95,73) :- #0.932.
link(73,101) :- #0.742.
link(101,73) :- #0.429.
link(73,102) :- #0.438.
link(102,73) :- #0.584.
link(73,104) :- #0.477.
link(104,73) :- #0.804.
link(73,110) :- #0.293.
link(110,73) :- #0.372.
link(73,116) :- #0.709.
link(116,73) :- #0.696.
link(73,123) :- #0.781.
link(123,73) :- #0.91.
link(73,135) :- #0.814.
link(135,73) :- #0.864.
link(73,141) :- #0.49.
link(141,73) :- #0.974.
link(74,76) :- #0.629.
link(76,74) :- #0.286.
link(74,87) :- #0.365.
link(87,74) :- #0.221.
link(74,93) :- #0.109.
link(93,74) :- #0.664.
link(74,111) :- #0.039.
link(111,74) :- #0.423.
link(74,129) :- #0.023.
link(129,74) :- #0.367.
link(74,133) :- #0.681.
link(133,74) :- #0.601.
link(75,85) :- #0.426.
link(85,75) :- #0.321.
link(75,88) :- #0.637.
link(88,75) :- #0.671.
link(75,89) :- #0.315.
link(89,75) :- #0.309.
link(75,132) :- #0.796.
link(132,75) :- #0.588.
link(76,79) :- #0.29.
link(79,76) :- #0.898.
link(76,81) :- #0.051.
link(81,76) :- #0.243.
link(76,82) :- #0.627.
link(82,76) :- #0.014.
link(76,97) :- #0.573.
link(97,76) :- #0.151.
link(76,98) :- #0.825.
link(98,76) :- #0.843.
link(76,99) :- #0.653.
link(99,76) :- #0.414.
link(76,101) :- #0.706.
link(101,76) :- #0.189.
link(76,117) :- #0.914.
link(117,76) :- #0.335.
link(76,130) :- #0.749.
link(130,76) :- #0.853.
link(76,134) :- #0.125.
link(134,76) :- #0.001.
link(76,140) :- #0.865.
link(140,76) :- #0.675.
link(77,78) :- #0.19.
link(78,77) :- #0.961.
link(77,84) :- #0.829.
link(84,77) :- #0.065.
link(77,93) :- #0.16.
link(93,77) :- #0.008.
link(77,96) :- #0.275.
link(96,77) :- #0.616.
link(77,111) :- #0.985.
link(111,77) :- #0.789.
link(77,119) :- #0.593.
link(119,77) :- #0.478.
link(77,129) :- #0.874.
link(129,77) :- #0.248.
link(77,143) :- #0.29.
link(143,77) :- #0.794.
link(78,80) :- #0.401.
link(80,78) :- #0.693.
link(78,84) :- #0.833.
link(84,78) :- #0.766.
link(78,85) :- #0.22.
link(85,78) :- #0.629.
link(78,112) :- #0.748.
link(112,78) :- #0.704.
link(78,120) :- #0.39.
link(120,78) :- #0.501.
link(78,136) :- #0.478.
link(136,78) :- #0.2.
link(79,84) :- #0.887.
link(84,79) :- #0.777.
link(79,96) :- #0.344.
link(96,79) :- #0.038.
link(79,108) :- #0.055.
link(108,79) :- #0.336.
link(79,111) :- #0.924.
link(111,79) :- #0.203.
link(79,125) :- #0.066.
link(125,79) :- #0.228.
link(79,129) :- #0.23.
link(129,79) :- #0.065.
link(80,94) :- #0.395.
link(94,80) :- #0.481.
link(80,125) :- #0.801.
link(125,80) :- #0.216.
link(80,132) :- #0.977.
link(132,80) :- #0.515.
link(80,134) :- #0.008.
link(134,80) :- #0.036.
link(80,138) :- #0.715.
link(138,80) :- #0.032.
link(81,87) :- #0.453.
link(87,81) :- #0.89.
link(81,106) :- #0.235.
link(106,81) :- #0.101.
link(81,109) :- #0.113.
link(109,81) :- #0.145.
link(81,114) :- #0.811.
link(114,81) :- #0.839.
link(81,120) :- #0.112.
link(120,81) :- #0.342.
link(81,126) :- #0.984.
link(126,81) :- #0.238.
link(81,131) :- #0.395.
link(131,81) :- #0.767.
link(82,84) :- #0.082.
link(84,82) :- #0.551.
link(82,91) :- #0.883.
link(91,82) :- #0.128.
link(82,95) :- #0.213.
link(95,82) :- #0.536.
link(82,118) :- #0.413.
link(118,82) :- #0.659.
link(82,132) :- #0.922.
link(132,82) :- #0.876.
link(82,140) :- #0.147.
link(140,82) :- #0.852.
link(82,143) :- #0.836.
link(143,82) :- #0.212.
link(83,90) :- #0.522.
link(90,83) :- #0.569.
link(83,91) :- #0.097.
link(91,83) :- #0.545.
link(83,98) :- #0.937.
link(98,83) :- #0.815.
link(83,101) :- #0.906.
link(101,83) :- #0.76.
link(83,102) :- #0.362.
link(102,83) :- #0.226.
link(83,107) :- #0.336.
link(107,83) :- #0.839.
link(83,110) :- #0.175.
link(110,83) :- #0.949.
link(83,119) :- #0.827.
link(119,83) :- #0.04.
link(83,131) :- #0.762.
link(131,83) :- #0.99.
link(83,135) :- #0.016.
link(135,83) :- #0.946.
link(83,136) :- #0.372.
link(136,83) :- #0.306.
link(84,85) :- #0.521.
link(85,84) :- #0.592.
link(84,89) :- #0.393.
link(89,84) :- #0.554.
link(84,93) :- #0.662.
link(93,84) :- #0.878.
link(84,122) :- #0.584.
link(122,84) :- #0.786.
link(84,124) :- #0.312.
link(124,84) :- #0.315.
link(85,95) :- #0.708.
link(95,85) :- #0.951.
link(85,98) :- #0.963.
link(98,85) :- #0.153.
link(85,104) :- #0.916.
link(104,85) :- #0.384.
link(85,106) :- #0.696.
link(106,85) :- #0.534.
link(85,120) :- #0.88.
link(120,85) :- #0.769.
link(85,127) :- #0.132.
link(127,85) :- #0.934.
link(85,129) :- #0.871.
link(129,85) :- #0.197.
link(85,132) :- #0.288.
link(132,85) :- #0.863.
link(85,138) :- #0.43.
link(138,85) :- #0.953.
link(85,141) :- #0.737.
link(141,85) :- #0.886.
link(85,144) :- #0.171.
link(144,85) :- #0.606.
link(86,107) :- #0.955.
link(107,86) :- #0.2.
link(86,121) :- #0.23.
link(121,86) :- #0.737.
link(86,122) :- #0.592.
link(122,86) :- #0.577.
link(86,130) :- #0.47.
link(130,86) :- #0.549.
link(86,133) :- #0.562.
link(133,86) :- #0.671.
link(86,137) :- #0.377.
link(137,86) :- #0.296.
link(87,89) :- #0.886.
link(89,87) :- #0.819.
link(87,98) :- #0.537.
link(98,87) :- #0.571.
link(87,110) :- #0.824.
link(110,87) :- #0.309.
link(87,112) :- #0.21.
link(112,87) :- #0.477.
link(88,105) :- #0.489.
link(105,88) :- #0.043.
link(88,118) :- #0.094.
link(118,88) :- #0.367.
link(88,145) :- #0.454.
link(145,88) :- #0.799.
link(89,92) :- #0.4.
link(92,89) :- #0.518.
link(89,117) :- #0.328.
link(117,89) :- #0.39.
link(89,121) :- #0.45.
link(121,89) :- #0.887.
link(90,93) :- #0.184.
link(93,90) :- #0.661.
link(90,112) :- #0.604.
link(112,90) :- #0.017.
link(90,115) :- #0.743.
link(115,90) :- #0.969.
link(90,116) :- #0.511.
link(116,90) :- #0.657.
link(90,120) :- #0.262.
link(120,90) :- #0.843.
link(90,134) :- #0.646.
link(134,90) :- #0.56.
link(90,135) :- #0.026.
link(135,90) :- #0.406.
link(90,142) :- #0.494.
link(142,90) :- #0.883.
link(90,143) :- #0.703.
link(143,90) :- #0.796.
link(90,144) :- #0.584.
link(144,90) :- #0.277.
link(91,109) :- #0.675.
link(109,91) :- #0.593.
link(91,113) :- #0.939.
link(113,91) :- #0.071.
link(91,120) :- #0.93.
link(120,91) :- #0.778.
link(91,125) :- #0.295.
link(125,91) :- #0.343.
link(91,130) :- #0.499.
link(130,91) :- #0.333.
link(91,133) :- #0.179.
link(133,91) :- #0.337.
link(91,141) :- #0.418.
link(141,91) :- #0.283.
link(92,96) :- #0.387.
link(96,92) :- #0.845.
link(92,100) :- #0.352.
link(100,92) :- #0.402.
link(92,115) :- #0.476.
link(115,92) :- #0.338.
link(92,121) :- #0.627.
link(121,92) :- #0.236.
link(92,128) :- #0.398.
link(128,92) :- #0.756.
link(92,139) :- #0.177.
link(139,92) :- #0.377.
link(93,107) :- #0.448.
link(107,93) :- #0.765.
link(93,109) :- #0.804.
link(109,93) :- #0.813.
link(93,119) :- #0.173.
link(119,93) :- #0.727.
link(93,121) :- #0.021.
link(121,93) :- #0.508.
link(93,124) :- #0.247.
link(124,93) :- #0.612.
link(93,134) :- #0.205.
link(134,93) :- #0.531.
link(93,136) :- #0.29.
link(136,93) :- #0.265.
link(93,137) :- #0.878.
link(137,93) :- #0.768.
link(93,140) :- #0.191.
link(140,93) :- #0.061.
link(94,100) :- #0.918.
link(100,94) :- #0.557.
link(94,114) :- #0.18.
link(114,94) :- #0.434.
link(94,125) :- #0.511.
link(125,94) :- #0.233.
link(94,127) :- #0.189.
link(127,94) :- #0.646.
link(94,128) :- #0.73.
link(128,94) :- #0.018.
link(95,100) :- #0.321.
link(100,95) :- #0.616.
link(95,109) :- #0.924.
link(109,95) :- #0.842.
link(95,118) :- #0.351.
link(118,95) :- #0.504.
link(95,120) :- #0.435.
link(120,95) :- #0.471.
link(95,124) :- #0.53.
link(124,95) :- #0.989.
link(95,143) :- #0.751.
link(143,95) :- #0.671.
link(96,99) :- #0.659.
link(99,96) :- #0.967.
link(96,104) :- #0.552.
link(104,96) :- #0.579.
link(96,119) :- #0.889.
link(119,96) :- #0.365.
link(96,135) :- #0.662.
link(135,96) :- #0.83.
link(96,136) :- #0.385.
link(136,96) :- #0.435.
link(96,141) :- #0.68.
link(141,96) :- #0.484.
link(97,112) :- #0.304.
link(112,97) :- #0.71.
link(97,119) :- #0.803.
link(119,97) :- #0.222.
link(97,126) :- #0.278.
link(126,97) :- #0.442.
link(97,128) :- #0.621.
link(128,97) :- #0.316.
link(98,110) :- #0.028.
link(110,98) :- #0.191.
link(98,112) :- #0.417.
link(112,98) :- #0.456.
link(98,118) :- #0.161.
link(118,98) :- #0.139.
link(98,123) :- #0.959.
link(123,98) :- #0.777.
link(98,125) :- #0.753.
link(125,98) :- #0.87.
link(98,138) :- #0.047.
link(138,98) :- #0.363.
link(99,113) :- #0.698.
link(113,99) :- #0.907.
link(99,118) :- #0.993.
link(118,99) :- #0.767.
link(99,120) :- #0.016.
link(120,99) :- #0.23.
link(99,127) :- #0.136.
link(127,99) :- #0.745.
link(99,128) :- #0.573.
link(128,99) :- #0.699.
link(99,141) :- #0.803.
link(141,99) :- #0.571.
link(99,143) :- #0.749.
link(143,99) :- #0.568.
link(100,113) :- #0.421.
link(113,100) :- #0.14.
link(100,120) :- #0.207.
link(120,100) :- #0.769.
link(101,105) :- #0.755.
link(105,101) :- #0.202.
link(101,116) :- #0.763.
link(116,101) :- #0.896.
link(101,117) :- #0.255.
link(117,101) :- #0.658.
link(101,128) :- #0.442.
link(128,101) :- #0.881.
link(101,129) :- #0.93.
link(129,101) :- #0.142.
link(101,130) :- #0.849.
link(130,101) :- #0.429.
link(101,136) :- #0.853.
link(136,101) :- #0.168.
link(101,138) :- #0.362.
link(138,101) :- #0.736.
link(101,142) :- #0.805.
link(142,101) :- #0.83.
link(102,116) :- #0.952.
link(116,102) :- #0.905.
link(102,123) :- #0.548.
link(123,102) :- #0.434.
link(102,136) :- #0.476.
link(136,102) :- #0.316.
link(103,118) :- #0.023.
link(118,103) :- #0.98.
link(103,119) :- #0.579.
link(119,103) :- #0.954.
link(103,124) :- #0.284.
link(124,103) :- #0.099.
link(103,127) :- #0.063.
link(127,103) :- #0.091.
link(103,131) :- #0.209.
link(131,103) :- #0.965.
link(103,137) :- #0.183.
link(137,103) :- #0.493.
link(104,119) :- #0.985.
link(119,104) :- #0.771.
link(104,145) :- #0.376.
link(145,104) :- #0.527.
link(105,108) :- #0.654.
link(108,105) :- #0.301.
link(105,110) :- #0.803.
link(110,105) :- #0.65.
link(105,132) :- #0.921.
link(132,105) :- #0.858.
link(105,134) :- #0.746.
link(134,105) :- #0.165.
link(106,118) :- #0.083.
link(118,106) :- #0.491.
link(106,120) :- #0.598.
link(120,106) :- #0.031.
link(106,130) :- #0.859.
link(130,106) :- #0.22.
link(106,133) :- #0.358.
link(133,106) :- #0.579.
link(106,140) :- #0.926.
link(140,106) :- #0.343.
link(106,142) :- #0.295.
link(142,106) :- #0.254.
link(106,143) :- #0.63.
link(143,106) :- #0.111.
link(107,123) :- #0.629.
link(123,107) :- #0.922.
link(107,127) :- #0.21.
link(127,107) :- #0.165.
link(107,128) :- #0.731.
link(128,107) :- #0.52.
link(107,134) :- #0.715.
link(134,107) :- #0.431.
link(107,143) :- #0.657.
link(143,107) :- #0.385.
link(108,112) :- #0.683.
link(112,108) :- #0.144.
link(108,116) :- #0.861.
link(116,108) :- #0.681.
link(108,118) :- #0.587.
link(118,108) :- #0.746.
link(108,120) :- #0.176.
link(120,108) :- #0.816.
link(108,125) :- #0.851.
link(125,108) :- #0.6.
link(108,128) :- #0.572.
link(128,108) :- #0.687.
link(109,115) :- #0.841.
link(115,109) :- #0.12.
link(109,128) :- #0.813.
link(128,109) :- #0.97.
link(109,137) :- #0.344.
link(137,109) :- #0.736.
link(109,141) :- #0.655.
link(141,109) :- #0.51.
link(109,145) :- #0.61.
link(145,109) :- #0.361.
link(110,118) :- #0.213.
link(118,110) :- #0.328.
link(110,122) :- #0.454.
link(122,110) :- #0.975.
link(110,125) :- #0.08.
link(125,110) :- #0.654.
link(110,133) :- #0.339.
link(133,110) :- #0.883.
link(110,134) :- #0.781.
link(134,110) :- #0.198.
link(110,136) :- #0.728.
link(136,110) :- #0.956.
link(110,138) :- #0.512.
link(138,110) :- #0.14.
link(110,139) :- #0.794.
link(139,110) :- #0.01.
link(110,140) :- #0.364.
link(140,110) :- #0.849.
link(110,142) :- #0.223.
link(142,110) :- #0.802.
link(110,145) :- #0.635.
link(145,110) :- #0.408.
link(111,118) :- #0.054.
link(118,111) :- #0.252.
link(112,115) :- #0.185.
link(115,112) :- #0.781.
link(112,129) :- #0.413.
link(129,112) :- #0.307.
link(112,143) :- #0.451.
link(143,112) :- #0.939.
link(113,132) :- #0.359.
link(132,113) :- #0.715.
link(113,134) :- #0.749.
link(134,113) :- #0.81.
link(113,140) :- #0.739.
link(140,113) :- #0.306.
link(114,120) :- #0.167.
link(120,114) :- #0.525.
link(114,123) :- #0.874.
link(123,114) :- #0.606.
link(114,141) :- #0.235.
link(141,114) :- #0.578.
link(115,124) :- #0.499.
link(124,115) :- #0.566.
link(115,128) :- #0.681.
link(128,115) :- #0.99.
link(115,132) :- #0.847.
link(132,115) :- #0.497.
link(115,133) :- #0.087.
link(133,115) :- #0.227.
link(115,136) :- #0.118.
link(136,115) :- #0.244.
link(115,145) :- #0.952.
link(145,115) :- #0.907.
link(116,121) :- #0.172.
link(121,116) :- #0.825.
link(116,122) :- #0.146.
link(122,116) :- #0.483.
link(116,141) :- #0.82.
link(141,116) :- #0.075.
link(116,145) :- #0.742.
link(145,116) :- #0.286.
link(117,130) :- #0.063.
link(130,117) :- #0.934.
link(117,139) :- #0.676.
link(139,117) :- #0.067.
link(117,142) :- #0.382.
link(142,117) :- #0.22.
link(117,145) :- #0.308.
link(145,117) :- #0.462.
link(118,129) :- #0.411.
link(129,118) :- #0.805.
link(118,137) :- #0.076.
link(137,118) :- #0.437.
link(119,123) :- #0.973.
link(123,119) :- #0.911.
link(119,126) :- #0.632.
link(126,119) :- #0.472.
link(119,128) :- #0.41.
link(128,119) :- #0.49.
link(119,131) :- #0.879.
link(131,119) :- #0.098.
link(119,139) :- #0.023.
link(139,119) :- #0.819.
link(119,144) :- #0.686.
link(144,119) :- #0.983.
link(121,132) :- #0.182.
link(132,121) :- #0.233.
link(121,136) :- #0.907.
link(136,121) :- #0.344.
link(121,138) :- #0.716.
link(138,121) :- #0.377.
link(121,144) :- #0.045.
link(144,121) :- #0.472.
link(122,144) :- #0.508.
link(144,122) :- #0.129.
link(124,128) :- #0.077.
link(128,124) :- #0.132.
link(124,132) :- #0.953.
link(132,124) :- #0.124.
link(124,133) :- #0.891.
link(133,124) :- #0.686.
link(125,138) :- #0.187.
link(138,125) :- #0.23.
link(126,135) :- #0.408.
link(135,126) :- #0.928.
link(126,138) :- #0.587.
link(138,126) :- #0.501.
link(127,135) :- #0.072.
link(135,127) :- #0.615.
link(129,133) :- #0.241.
link(133,129) :- #0.958.
link(129,134) :- #0.247.
link(134,129) :- #0.816.
link(129,145) :- #0.307.
link(145,129) :- #0.437.
link(130,133) :- #0.42.
link(133,130) :- #0.12.
link(130,141) :- #0.947.
link(141,130) :- #0.749.
link(130,144) :- #0.582.
link(144,130) :- #0.817.
link(132,139) :- #0.813.
link(139,132) :- #0.487.
link(132,140) :- #0.984.
link(140,132) :- #0.082.
link(132,141) :- #0.627.
link(141,132) :- #0.92.
link(133,140) :- #0.592.
link(140,133) :- #0.396.
link(134,143) :- #0.799.
link(143,134) :- #0.254.
link(136,143) :- #0.157.
link(143,136) :- #0.444.
link(139,145) :- #0.253.
link(145,139) :- #0.862.
link(140,145) :- #0.253.
link(145,140) :- #0.387.
link(144,145) :- #0.854.
link(145,144) :- #0.307.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
